Sayısal Almaç Planlayıcı Bileşeninin Biçimsel Doğrulanması
نویسندگان
چکیده
Özet Biçimsel do§rulama bir sistemin do§rulanmas n n tasar m a3amas nda yap lmas na izin veren ve son y llarda kullan m h zla artan bir yöntemdir. Bu bildiride almaç planlay c bile3eni tasar m n n gerçek zaman gereksinimleri dahil edilerek biçimsel do§rulanmas sunulmaktad r. Bu kapsamda say sal almaç planlay c bile3eninin biçimsel modelinin ve gereksinimlerinin UPPAAL model denetim arac ile belirtimi ve do§rulanmas ele al nmaktad r. Anahtar Kelimeler Model Denetim, Gerçek Zamanl Yaz l m, Biçimsel Do§rulama
منابع مشابه
İki Boyutlu Dönüşümlerin Çarpıcısız Gerçeklenmesi
Bu çalışmada sayısal işaret işleme sistemlerinde yaygım olarak kullanılan iki boyutlu doğrusal dönüşümlerin çarpıcı kullanmadan gerçekleştirilmesini sağlayan bir algoritma geliştirilmiştir. Toplayıcı sayısında, orijinal sayıdan yüzde doksanlara varan kazanç elde edilmiştir.
متن کاملYazılım Ürün Hattında Yetenek Tabanlı Yazılım Bileşenlerinin Doğrulanması
Özet. Yazılım ürün hattı (YÜH), belirli bir çalışma alanının ihtiyaçlarını karşılamak için, bileşen ve ürün seviyesinde yetenek ağacıyla uyumlu ortak yazılım bileşenleriyle hızlı bir şekilde ürün çıkartmaya dönük bir yazılım geliştirme yöntemidir. Yazılım ürün hattı yaklaşımında yazılım geliştirmeye dönük farklı çalışmalar bulunmakta olup, bileşen seviyesinde doğrulama, geçerli kılma açısından ...
متن کاملÇok Katmanlı Nesne İlişkisel Eşleme Mimarisi İçin Otomatik Fonksiyonel Büyüklük Ölçümü
Özet. Fonksiyonel Büyüklük Ölçümü’nde, çeşitli fonksiyonel büyüklük ölçüm metodları kullanılarak objektiflik ve tutarlılığın artırılması için standartlaşmaya ihtiyaç duyulmaktadır. Bazı mimari stiller için kullanımda olan çeşitli standardizasyon tanımları yapılmış olsa da, objektiflik ve tutarlılığı artırmak için hala yapılabilecek iyileştirmeler bulunmaktadır. Bu iyileştirmeler, otomasyon meth...
متن کاملSayısal Devrelerin Model Kontrol Tabanlı Testi
Özet Bu tezin amacı yazılım mühendisliği alanında yaygınca kullanılan bir test yöntemi olan model doğrulama tabanlı test yönteminin, devrelerin gecikme hata testinin denetlenmesi işlemine uygulamaktır. Devre gecikme hatası devrelerin istenilen zamanda istenilen işlevin yerine getirilmemesinden kaynaklanmaktadır. Bu metodolojide, öncelikle devre bir zamanlı otomata olarak modellenir ve böylece d...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2015